Aide à la recherche   Requête : preuve assistée par ordinateur

34 fiches trouvées

Reponses 21 à 34

21	2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.
22	2007 Mathematice. N° 7. Le calcul algébrique au premier trimestre de Première S.
23	2002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
24	2000 PLOT. N° 91.
25	2000 PLOT. N° 91. p. 21-26. Le théorème des 4 couleurs.
26	1991 Tangente. N° 20. p. 12-15. Le théorème des 4 couleurs.
27	1991 Tangente. N° 20. p. 4-5. Tangente : mode d'emploi.
28	1984 Bulletin de l'APMEP. N° 344. p. 383-389. Infor"math"ique. Chic et toc ?
29	1984 Bulletin de l'APMEP. N° 345. p. 509-522. L'influence des ordinateurs et de l'informatique sur les mathématiques et leur enseignement, premier rapport CIEM (Commission Internationale sur l'Enseignement des Mathématiques).
30	1984 PLOT. N° 28.
31	1984 PLOT. N° 28. p. 19-27. L'influence des ordinateurs et de l'informatique sur les mathématiques et leur enseignement.
32	1979 L'Ouvert. N° 17.
33	1979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
34	1977 Quelques apports de l'informatique à l'enseignement des mathématiques.